Style options

On this page you can set the color coding options and font settings.

Note that only colors and styles can vary for different text elements, but the font face and size are global settings.

Last change: August 07, 2000 - © Softwareentwicklung Marcus Monnig